$\forall$$i$, $x$:Id, $L$:(Knd List). Rrframe($i$;$x$;$L$) $\Vdash$ ${\it es}$.@$i$: only members of $L$ read $x$